The maximum idempotent-separating congruence on a regular semigroup
نویسندگان
چکیده
منابع مشابه
Special Congruence Triples for a Regular Semigroup
With the usual notation for congruences on a regular semigroup S, in a previous communication we studied the lattice Λ generated by Γ = {σ, τ, μ, β} relative to properties such as distributivity and similar conditions. For K and T the kernel and trace relations on the congruence lattice of S, we form an abstraction of the triple (Λ;K|Λ, TΛ) called a c-triple. In this study a number of relations...
متن کاملIdempotent-separating extensions of regular semigroups
For a regular biordered set E, the notion of E-diagram and the associated regular semigroup was introduced in our previous paper (1995). Given a regular biordered set E, an E-diagram in a category C is a collection of objects, indexed by the elements of E and morphisms of C satisfying certain compatibility conditions. With such an E-diagram A we associate a regular semigroup RegE(A) having E as...
متن کاملA Special Congruence Lattice of a Regular Semigroup
Let S be a regular semigroup and C its lattice of congruences. We consider the sublattice Λ of C generated by σ-the least group, τ -the greatest idempotent pure, μ-the greatest idempotent separating and β-the least band congruence on S. To this end, we study the following special cases: (1) any three of these congruences generate a distributive lattice, (2) Λ is distributive, (3) the restrictio...
متن کاملTHE LEFT REGULAR REPRESENTATION OF A COMMUTATIVE SEPARATIVE SEMIGROUP
In this paper, a commutative semigroup will be written as a disjoint union of its cancellative subsemigroups. Based on this fact we will define the left regular representation of a commutative separative semigroup and show that this representation is faithful. Finally concrete examples of commutative separative semigroups, their decompositions and their left regular representations are given.
متن کاملRegular centralizers of idempotent transformations
Denote by T (X) the semigroup of full transformations on a set X. For ε ∈ T (X), the centralizer of ε is a subsemigroup of T (X) defined by C(ε) = {α ∈ T (X) : αε = εα}. It is well known that C(idX) = T (X) is a regular semigroup. By a theorem proved by J.M. Howie in 1966, we know that if X is finite, then the subsemigroup generated by the idempotents of C(idX) contains all non-invertible trans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1972
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500009846